Episteeminen logiikka on modaalilogiikan alue, joka käsittelee tietoon liittyvää päättelyä ja käsitteitä, kuten "verifioitu", "mahdollisesti tosi" ja "mahdoton". Vaikka epistemologialla eli tietoteorialla on pitkä antiikin Kreikkaan ulottuva historia, episteeminen logiikka on paljon nuorempi tutkimusala. Ensimmäisen symbolisen ja systemaattisen esityksen aiheesta antoi C. I. Lewis vuonna 1912. Nykyisen muotonsa se sai vuonna 1963 Saul Kripken töiden myötä.
Suurin osa tiedon mallinnusyrityksistä on perustunut mahdollisten maailmojen malliin. Episteemistä logiikkaa sovelletaan monilla aloilla, kuten filosofiassa, teoreettisessa tietojenkäsittelytieteessä, tekoälytutkimuksessa, taloustieteessä ja kielitieteessä.